Het logisch benaderen van problemen met behulp van een abstract systeem van symbolen en functies, zoals EN, OF, NOT, IF, EXCEPT en dergelijke.Het logisch benaderen van problemen met behulp van een abstract systeem van symbolen en functies, zoals EN, OF, NOT, IF, EXCEPT en dergelijke.